Preventing Input Validation Vulnerabilities in Web Applications through Automated Type Analysis Theodoor Scholte SAP Research, Sophia Antipolis, France

Source URL: seclab.ccs.neu.edu

Automated Generation of Semantic Service Descriptions by Leveraging on Service Governance Models René Fleischhauer, Michael Stollberg SAP Research Dresden Software Engineering & Tools

Source URL: iswc2011.semanticweb.org

A Survey on State of the Art to Facilitate Modelling of Cross-Organisational Business Processes Sonia Lippe, Ulrike Greiner, Alistair Barros SAP Research Karlsruhe (Germany), Brisbane (Australia) { sonia.lippe, ulrike.gr

Source URL: www.mendling.com

Expression Rewriting for Optimizing Secure Computation Florian Kerschbaum SAP Research Karlsruhe, Germany

Source URL: www.fkerschbaum.org

An Information-Flow Type-System for Mixed Protocol Secure Computation Florian Kerschbaum SAP Applied Research Karlsruhe, Germany

Source URL: www.fkerschbaum.org

Access Policy Design Supported by FCA Methods? Frithjof Dau and Martin Knechtel SAP AG, SAP Research CEC Dresden, Germany {frithjof.dau, martin.knechtel}@sap.com

Source URL: www.dr-dau.net

Semantic Technologies for Enterprises Frithjof Dau SAP Research Dresden Abstract. After being mainly a research topic, semantic technologies (ST) have

Source URL: www.dr-dau.net

• Information science
• Computing
• Data management
• Semantic Web
• Knowledge engineering
• Knowledge representation
• Data integration
• Ontology
• Semantic data model
• Semantic technology
• Data model
• Database

Verification of SAP reference models Boudewijn van Dongen Monique Jansen-Vullers Verification of SAP reference models

Source URL: bpm2005.loria.fr

• Formal methods
• Logic in computer science
• Business process modeling
• Conceptual model
• Modeling language
• Semantics
• Abstraction
• Operations research
• Computing
• Event-driven process chain

An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau|baris.sertkaya)@sap.com

Source URL: ceur-ws.org

• Lattice theory
• Computing
• Ontology
• Data management
• Data modeling
• Data mining
• Formal concept analysis
• Machine learning
• Data model
• Entityrelationship model
• Software engineering
• Conceptual model

L1 - Faster Development and Benchmarking of Cryptographic Protocols Axel Schr¨opfer, Florian Kerschbaum, Debmalya Biswas, Steffen Geißinger, and Christoph Sch¨ utz SAP Research Karlsruhe, Germany

Source URL: www.fkerschbaum.org

• Cryptography
• Software engineering
• E-commerce
• RSA
• Secure multi-party computation
• ALGOL 68
• Const
• Method
• Public-key cryptography
• Apache Avro